concrete deductive method

实体演绎法